Models of second order arithmetic with definable Skolem functions
نویسندگان
چکیده
منابع مشابه
Functions Definable by Arithmetic Circuits
An arithmetic circuit (McKenzie and Wagner [6]) is a labelled, directed graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this paper, we consider the definability of functions by means of arithmetic circuits. We prove two negative results: the first shows, roughly, that a function is not circuit-definable if it has an infinite r...
متن کاملOn Definable Skolem Functions in Weakly O-Minimal nonvaluational Structures
We prove that all known examples of weakly o-minimal non-valuational structures have no de nable Skolem functions. We show, however, that such structures eliminate imaginaries up to de nable families of cuts. Along the way we give some new examples of weakly ominimal non-valuational structures.
متن کاملEliminating Skolem Functions in Peano Arithmetic with Interactive Realizability
We present a new syntactical proof that first-order Peano Arithmetic with Skolem axioms is conservative over Peano Arithmetic alone for arithmetical formulas. This result – which shows that the Excluded Middle principle can be used to eliminate Skolem functions – has been previously proved by other techniques, among them the epsilon substitution method and forcing. In our proof, we employ Inter...
متن کاملMonadic second-order definable graph orderings
We study the question of whether, for a given class of finite graphs, one can define, for each graph of the class, a linear ordering in monadic second-order logic, possibly with the help of monadic parameters. We consider two variants of monadic second-order logic: one where we can only quantify over sets of vertices and one where we can also quantify over sets of edges. For several special cas...
متن کاملSubsystems of Second Order Arithmetic Second Edition
Foundations of mathematics is the study of the most basic concepts and logical structure of mathematics, with an eye to the unity of human knowledge. Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1972
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-75-3-223-234